Inverse invariant zero–nonzero patterns
نویسندگان
چکیده
منابع مشابه
Invariant measures involving local inverse iterates
We study new invariant probability measures, describing the distribution of multivalued inverse iterates (i.e of different local inverse iterates) for a non-invertible smooth function f which is hyperbolic, but not necessarily expanding on a repellor Λ. The methods for the higher dimensional non-expanding and non-invertible case are different than the ones for diffeomorphisms, due to the lack o...
متن کاملInverse Problems with Invariant Multiscale Statistics
We propose a new approach to linear ill-posed inverse problems. Our algorithm alternates between enforcing two constraints: the measurements and the statistical correlation structure in some transformed space. We use a non-linear multiscale scattering transform which discards the phase and thus exposes strong spectral correlations otherwise hidden beneath the phase fluctuations. As a result, bo...
متن کاملInverse turbulent cascades and conformally invariant curves.
We offer a new example of conformal invariance (local scale invariance) far from equilibrium-the inverse cascade of surface quasigeostrophic (SQG) turbulence. We show that temperature isolines are statistically equivalent to curves that can be mapped into a one-dimensional Brownian walk (called Schramm-Loewner evolution or SLEkappa). The diffusivity is close to kappa=4, that is, isotemperature ...
متن کاملInvariant Patterns for Program Reasoning
We address the problem of integrating standard techniques for automatic invariant generation within the context of program reasoning. We propose the use of invariant patterns which enable us to associate common patterns of program code and specifications with invariant schemas. This allows crucial decisions relating to the development of invariants to be delayed until a proof is attempted. More...
متن کاملFormalization of Invariant Patterns for the Invariant Refinement Method
This report provides formalization of the Invariant Refinement Method. In particular, it formally describes the individual invariant patterns w.r.t. (soft) real-time constraints and provides formulation, as well as proofs of theorems related to refinement among these patterns. This work was partially supported by the Grant Agency of the Czech Republic project P202/11/0312. This work was also pa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 2014
ISSN: 0024-3795
DOI: 10.1016/j.laa.2013.11.011